(a b)^2 = a^2 2ab + b^2